Byron Cook: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Model checking boot code from AWS data centers

Cook, Byron, Khazem, Kareem, Kroening, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.

Journal:

Formal Methods in System Design

Year:

2020

File:

PDF, 538 KB

2020

2

Software engineering and formal methods

Hinchey, Mike, Jackson, Michael, Cousot, Patrick, Cook, Byron, Bowen, Jonathan P., Margaria, Tiziana

Journal:

Communications of the ACM

Year:

2008

Language:

english

File:

PDF, 435 KB

english, 2008

3

Real-Time Reverse Transcription–Polymerase Chain Reaction Assay for SARS-associated Coronavirus

Emery, Shannon L., Erdman, Dean D., Bowen, Michael D., Newton, Bruce R., Winchell, Jonas M., Meyer, Richard F., Tong, Suxiang, Cook, Byron T., Holloway, Brian P., McCaustland, Karen A., Rota, Paul A.,

Journal:

Emerging Infectious Diseases

Year:

2004

Language:

english

File:

PDF, 429 KB

english, 2004

4

Phylogeography of wolves (Canis lupus) in the Pacific Northwest

Weckworth, Byron V., Talbot, Sandra L., Cook, Joseph A.

Journal:

Journal of Mammalogy

Year:

2010

Language:

english

File:

PDF, 912 KB

english, 2010

5

Thorough static analysis of device drivers

Ball, Thomas, Bounimova, Ella, Cook, Byron, Levin, Vladimir, Lichtenberg, Jakob, McGarvey, Con, Ondrusek, Bohus, Rajamani, Sriram K., Ustuner, Abdullah

Journal:

ACM SIGOPS Operating Systems Review

Year:

2006

Language:

english

File:

PDF, 414 KB

english, 2006

6

Work-Related Musculoskeletal Disorders Among Physical Therapists

Bork, Byron E, Cook, Thomas M, Rosecrance, John C, Engelhardt, Kristen A, Thomason, Mary-Ellen J, Wauford, Ivalyn J, Worley, Rachel K

Journal:

Physical Therapy

Year:

1996

Language:

english

File:

PDF, 533 KB

english, 1996

7

[ACM Press the 24th ACM SIGSOFT International SPIN Symposium - Santa Barbara, CA, USA (2017.07.13-2017.07.14)] Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 - Automated formal reasoning about amazon web services (keynote)

Year:

2017

Language:

english

File:

PDF, 292 KB

english, 2017

8

One-Year Outcome Study of Anatomic Reconstruction of Lesser Metatarsophalangeal Joints

Cook, Jeremy J., Cook, Emily A., Hansen, Daniel D., Matthews, Michael, Karthas, Timothy, Collier, Byron, McKenna, Bryon, Manning, Elena

Journal:

Foot & Ankle Specialist

Year:

2019

Language:

english

File:

PDF, 953 KB

english, 2019

9

Importance and feasibility of an adapted set of implementation strategies in schools

Lyon, Aaron R., Cook, Clayton R., Locke, Jill, Davis, Chayna, Powell, Byron J., Waltz, Thomas J.

Journal:

Journal of School Psychology

Year:

2019

Language:

english

File:

PDF, 638 KB

english, 2019

10

One-Click Formal Methods

Backes, John, Varming, Carsten, Whalen, Michael, Bolignano, Pauline, Cook, Byron, Gacek, Andrew, Luckow, Kasper Soe, Rungta, Neha, Schaef, Martin, Schlesinger, Cole, Tanash, Rima

Journal:

Year:

2019

Language:

english

File:

PDF, 460 KB

english, 2019

11

An Abstract Decision Procedure for a Theory of Inductive Data Types

Barrett, Clark, Shikanian, Igor, Tinelli, Cesare, Cook, Byron, Sebastiani, Roberto

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2007

File:

PDF, 347 KB

2007

12

Synthesis and Biological Activity of Macrocyclic Taxane Analogues.

James G. Tarrant, Donald Cook, Craig Fairchild, John F. Kadow, Byron H. Long, William C. Rose, Dolatrai Vyas

Journal:

Year:

2004

File:

PDF, 20 KB

2004

13

Preface and Foreword

Byron Cook, Roberto Sebastiani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 126 KB

english, 2007

14

Hydroxamate inhibitors of the matrix metallo-proteinases (MMPs) containing novel P1′ heteroatom based modifications

Bruce E. Tomczuk, Madhusudhan R. Gowravaram, Jeffrey S. Johnson, Daniel Delecki, Ewell R. Cook, Arup K. Ghose, Alan M. Mathiowetz, John C. Spurlino, Byron Rubin, Douglas L. Smith, Tricia Pulvino, Robe

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

1995

Language:

english

File:

PDF, 316 KB

english, 1995

15

Synthesis and biological activity of macrocyclic taxane analogues

James G. Tarrant, Donald Cook, Craig Fairchild, John F. Kadow, Byron H. Long, William C. Rose, Dolatrai Vyas

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2004

Language:

english

File:

PDF, 269 KB

english, 2004

16

Preface

Byron Cook, Scott Stoller, Willem Visser

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 59 KB

english, 2006

17

The interaction of aryl azides and dichlorocarbene

Harry H. Gibson Jr., James R. Cast, James Henderson, Clay W. Jones, Byron F. Cook, John B. Hunt

Journal:

Tetrahedron Letters

Year:

1971

Language:

english

File:

PDF, 189 KB

english, 1971

18

The discovery of BMS-275183: an orally efficacious novel taxane

Harold Mastalerz, Donald Cook, Craig R Fairchild, Steven Hansel, Walter Johnson, John F Kadow, Byron H Long, William C Rose, James Tarrant, Mu-Jen Wu, May Quifen Xue, Guifen Zhang, Mary Zoeckler, Dola

Journal:

Bioorganic & Medicinal Chemistry

Year:

2003

Language:

english

File:

PDF, 264 KB

english, 2003

19

A framework for superscalar microprocessor correctness statements

Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 1.28 MB

english, 2003

20

Summarization for termination: no return!

Byron Cook, Andreas Podelski, Andrey Rybalchenko

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 520 KB

english, 2009

21

Verification of Boolean programs with unbounded thread creation

Byron Cook, Daniel Kroening, Natasha Sharygina

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 381 KB

english, 2007

22

SoftMC 2003: Workshop on Software Model Checking

Byron Cook, Scott Stoller, Willem Visser

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 39 KB

english, 2003

23

A Signal for Independent Coastal and Continental histories among North American wolves

BYRON V. WECKWORTH, SANDRA TALBOT, GEORGE K. SAGE, DAVID K. PERSON, JOSEPH COOK

Journal:

Molecular Ecology

Year:

2005

Language:

english

File:

PDF, 247 KB

english, 2005

24

Temporal property verification as a program analysis task

Cook, Byron, Koskinen, Eric, Vardi, Moshe

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 677 KB

english, 2012

25

Precision and the Conjunction Rule in Concurrent Separation Logic

Alexey Gotsman, Josh Berdine, Byron Cook

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 303 KB

english, 2011

26

Ethanol Modulates Cocaine-Induced Behavioral Change in Inbred Mice

Melloni N Cook, Daphne D Ware, Ericka M Boone, Xu Hou, Andrew C Morse, Cheryl L Reed, V.Gene Erwin, Byron C Jones

Journal:

Pharmacology Biochemistry and Behavior

Year:

1998

Language:

english

File:

PDF, 156 KB

english, 1998

27

Simple purification methods for an αgalactose-specific antibody from chicken eggs

Carrie L. Cook, Winnie Pao, Joseph R. Firca, Byron E. Anderson, Jonathan P. Fryer

Journal:

Journal of Bioscience and Bioengineering

Year:

2001

Language:

english

File:

PDF, 504 KB

english, 2001

28

Acute Renal Failure Due to a Primary Renal B-Cell Lymphoma

Charles J. Diskin, Thomas J. Stokes, Linda M. Dansby, Lautrec Radcliff, Thomas B. Carter, Edith Graves, Deborah Byron, William J. Cook

Journal:

American Journal of Kidney Diseases

Year:

2007

Language:

english

File:

PDF, 1.45 MB

english, 2007

29

Inhibition of Matrix Metalloproteinases by Hydroxamates Containing Heteroatom-Based Modifications of the P1' Group

Gowravaram, Madhusudhan R., Johnson, Jeffrey S., Delecki, Daniel, Cook, Ewell R., Tomczuk, Bruce E., Ghose, Arup K., Mathiowetz, Alan M., Spurlino, John C., Rubin, Byron, Smith, Douglas L.

Journal:

Journal of Medicinal Chemistry

Year:

1995

Language:

english

File:

PDF, 3.06 MB

english, 1995

30

Effect of exposure to novelty on brain monoamines in C57BL/6 and DBA/2 mice

Byron C. Jones, Xu Hou, Melloni N. Cook

Journal:

Physiology & Behavior

Year:

1996

Language:

english

File:

PDF, 598 KB

english, 1996

31

LH inhibitory properties of aqueous extracts of rat pineal glands

Richard J. Orts, Bryant Benson, Byron F. Cook

Journal:

Year:

1974

Language:

english

File:

PDF, 311 KB

english, 1974

32

A Framework for Quantitative Assessment of Impacts Related to Energy and Mineral Resource Development

Haines, Seth S., Diffendorfer, Jay E., Balistrieri, Laurie, Berger, Byron, Cook, Troy, DeAngelis, Don, Doremus, Holly, Gautier, Donald L., Gallegos, Tanya, Gerritsen, Margot, Graffy, Elisabeth, Hawkin

Journal:

Natural Resources Research

Year:

2014

Language:

english

File:

PDF, 773 KB

english, 2014

33

[Lecture Notes in Computer Science] Computer Aided Verification Volume 6174 ||

Touili, Tayssir, Cook, Byron, Jackson, Paul

Year:

2010

Language:

english

File:

PDF, 9.52 MB

english, 2010

34

[Lecture Notes in Computer Science] Computer Aided Verification Volume 6174 || ABC: An Academic Industrial-Strength Verification Tool

Touili, Tayssir, Cook, Byron, Jackson, Paul

Year:

2010

Language:

english

File:

PDF, 276 KB

english, 2010

35

Cyclosporine A for neuroprotection: establishing dosing guidelines for safe and effective use

Cook, Aaron M, Whitlow, Justin, Hatton, Jimmi, Young, Byron

Journal:

Expert Opinion on Drug Safety

Year:

2009

Language:

english

File:

PDF, 446 KB

english, 2009

36

Proving termination of nonlinear command sequences

Domagoj Babić, Byron Cook, Alan J. Hu, Zvonimir Rakamarić

Journal:

Formal Aspects of Computing

Year:

2013

Language:

english

File:

PDF, 665 KB

english, 2013

37

Characterization of Infectious Bronchitis Viruses Isolated from Outbreaks of Disease in Commercial Flocks in Brazil

Jose Di Fabio, Lavinia I. Rossini, Sarah J. Orbell, Guntram Paul, Michael B. Huggins, Aristoteles Malo, Byron G. M. Silva and Jane K. A. Cook

Journal:

Year:

2000

Language:

english

File:

PDF, 1.09 MB

english, 2000

38

Ranking function synthesis for bit-vector relations

Cook, Byron, Kroening, Daniel, Rümmer, Philipp, Wintersteiger, Christoph M.

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 969 KB

english, 2013

39

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 5825 || A Rigorous Methodology for Composing Services

Alpuente, María, Cook, Byron, Joubert, Christophe

Year:

2009

Language:

english

File:

PDF, 491 KB

english, 2009

40

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 4349 || Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes

Cook, Byron, Podelski, Andreas

Year:

2007

Language:

english

File:

PDF, 513 KB

english, 2007

41

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 4349 ||

Cook, Byron, Podelski, Andreas

Year:

2007

Language:

english

File:

PDF, 7.47 MB

english, 2007

42

Kinetic mechanism of pyrophosphate-dependent phosphofructokinase from Propionibacterium freudenreichii

Bertagnolli, Byron L., Cook, Paul F.

Journal:

Year:

1984

Language:

english

File:

PDF, 1.01 MB

english, 1984

43

Lanthanide Pyrophosphates as Substrates for the Pyrophosphate-Dependent Phosphofructokinases from Propionibacterium freudenreichii and Phaseolus aureus: Evidence for a Second Metal Ion Required for Reaction

Bertagnolli, Byron L., Cook, Paul F.

Journal:

Year:

1994

Language:

english

File:

PDF, 590 KB

english, 1994

44

[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign - Nice, France (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - Bringing Hardware and Software Closer Together with Termination Analysis

Year:

2007

File:

PDF, 30 KB

2007

45

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Automatically Proving Concurrent Programs Correct

Year:

2007

File:

PDF, 233 KB

2007

46

Rapid environmental change during dynastic transitions in Yunnan Province, China

Hillman, Aubrey L., Yu, JunQing, Abbott, Mark B., Cooke, Colin A., Bain, Daniel J., Steinman, Byron A.

Journal:

Quaternary Science Reviews

Year:

2014

Language:

english

File:

PDF, 1.41 MB

english, 2014

47

Isotope exchange as a probe of the kinetic mechanism of pyrophosphate-dependent phosphofructokinase

Cho, Yong Kweon, Matsunaga, Terry O., Kenyon, George L., Bertagnolli, Byron L., Cook, Paul F.

Journal:

Year:

1988

Language:

english

File:

PDF, 774 KB

english, 1988

48

Kinetic studies on the activation of pyrophosphate-dependent phosphofructokinase from mung bean by fructose 2,6-bisphosphate and related compounds

Bertagnolli, Byron L., Younathan, Ezzat S., Voll, Ronald J., Cook, Paul F.

Journal:

Year:

1986

Language:

english

File:

PDF, 761 KB

english, 1986

49

Carbohydrate substrate specificity of bacterial and plant pyrophosphate-dependent phosphofructokinases

Bertagnolli, Byron L., Younathan, Ezzat S., Voll, Ronald J., Pittman, Charles E., Cook, Paul F.

Journal:

Year:

1986

Language:

english

File:

PDF, 960 KB

english, 1986

50

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Over-Approximating Boolean Programs with Unbounded Thread Creation

Cook, Byron, Kroening, Daniel, Sharygina, Natasha

Year:

2006

Language:

english

File:

PDF, 243 KB

english, 2006